A Procosii Project Final Report: Esprit Basic Research Project 7071
نویسندگان
چکیده
An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A comprehensive bibliography of publications with selected project documents is included for those wishing to study the results of the project in greater depth. Now a lecturer at the Department of Computer Science, University of Reading, Whiteknights, PO Box 225, Reading, Berks RG6 6AY, UK, since 1st October 1995. Email: [email protected] URL: http://www.cs.reading.ac.uk/people/jpb/
منابع مشابه
ProCoS - WG ESPRIT Working Group 8694 A ProCoS - WG Working Group Final Report : ESPRIT Working Group 8694
An overview of the activities of the European collaborative ESPRIT ProCoS-WG Working Group (no. 8694) on “Provably Correct Systems” which ran from 1993 to 1997 is presented. This was a follow-on to the ESPRIT BRA ProCoSI project (no. 3104, 1989–1991) and ProCoSII project (no. 7071, 1992–1995), overlapping with the latter. A selected bibliography of publications, especially those involving the o...
متن کاملAn Overview of EU Programs Related to Conversational/Interactive Systems
Since 1984, the European Commission has supported projects related to spoken language processing within various programs (particularly ESPRIT, ESPRIT-BRA and TELEMATICSLANGUAGE ENGINEERING). The projects address various aspects of spoken language processing including basic research, technology development, infrastructure (language resources and evaluation) and applications in different areas (t...
متن کاملDeliverable 3 . 2 Interaction Models and Mixed Reality Interfaces for Inhabited Television
This Document presents the findings to date for task 3.3 from work package 3 of eRENA (ESPRIT project 25379). It continues from deliverable 3.1 on a new area of research, i.e. Inhabited Television. We begin with summarising the evolution of digital broadcast as well as justifying mixed reality’s suitability to Inhabited TV, finally describing the current implementation – eTV. Specifically, this...
متن کاملTwenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
We recall some memories of the Esprit Basic Research Action CEDISYS, a small, well-focussed and fruitful project which brought together researchers at the meeting point of true concurrency and process algebra, in the period 1988-1991. The project was initiated and effectively animated by Ugo Montanari, a passionate and long-time advocate of both these approaches to the semantics of concurrency....
متن کامل